$\forall$$g$:AbMon. Comm($\mid$$g$$\mid$;$\ast$)